[12] Korel B., PELAS- Program Error Locating Assistant System, IEEE Transactions on Software Engineering,

نویسندگان

  • David C. Luckham
  • Sriram Sankar
  • Shuzo Takahashi
چکیده

Example of the session with the FORMAN/PASCAL assertion checker prototype .

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Adaptive noncontact gesture-based system for augmentative communication.

An adaptive noncontact gesture-based system for augmentative communication is described. The system detects movement of any anatomical site through the analysis of reflected speckle. This movement is converted into two-dimensional (2-D) cursor coordinates and an adaptive software interface provides click actions and decision strategies. The system requires no accessory to be placed on the user....

متن کامل

Locating White Box Reuse via Data Mining

ionUser1.2.3.4.5.6.7.Figure 1: The Abstraction Technique4 ing [1]. Hence, the attribute values are interfaces,which can be expanded to show further values. Wewill provide a three-dimensional view, similar to adrilling technique in executive information systems.As a demonstration, consider the feature-name ex-ample attribute. First pass...

متن کامل

Locating dependence structures using search-based slicing

This paper introduces an approach to locating dependence structures in a program by searching the space of the powerset of the set of all possible program slices. The paper formulates this problem as a search based software engineering problem. To evaluate the approach, the paper introduces an instance of a search based slicing problem concerned with locating sets of slices that decompose a pro...

متن کامل

Brain-computer interfaces based on the steady-state visual-evoked response.

The Air Force Research Laboratory has implemented and evaluated two brain-computer interfaces (BCI's) that translate the steady-state visual evoked response into a control signal for operating a physical device or computer program. In one approach, operators self-regulate the brain response; the other approach uses multiple evoked responses.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007